منابع مشابه
Semantics for Algebraic Operations
Given a complete and cocomplete symmetric monoidal closed category V and a symmetric monoidal V -category C with cotensors and a strong V -monad T on C, we investigate axioms under which an ObCindexed family of operations of the form αx : (Tx) v −→ (Tx)w provides semantics for algebraic operations, which may be used to extend the usual monadic semantics of the computational λ-calculus uniformly...
متن کاملAlgebraic Logic : Referential Algebraic Semantics
Wójcicki has provided a characterization of selfextensional logics as those that can be endowed with a complete local referential semantics. His result was extended by Jansana and Palmigiano, who developed a duality between the category of reduced congruential atlases and that of reduced referential algebras over a fixed similarity type. This duality restricts to one between reduced atlas model...
متن کاملAlgebraic Semantics for Coalgebraic Logics
With coalgebras usually being defined in terms of an endofunctor T on sets, this paper shows that modal logics for T -coalgebras can be naturally described as functors L on boolean algebras. Building on this idea, we study soundness, completeness and expressiveness of coalgebraic logics from the perspective of duality theory. That is, given a logic L for coalgebras of an endofunctor T , we cons...
متن کاملAlgebraic Semantics for Graded Propositions
We present LogAG, an algebraic language for reasoning about graded propositions. LogAG is algebraic in that it is a language of only terms, some of which denote propositions. Both propositions and their grades are taken as individuals in the LogAG ontology. Thus, the language includes terms denoting graded propositions, grades of propositions, grading propositions, and graded grading propositio...
متن کاملLinking Operational Semantics and Algebraic Semantics for Wireless Networks
Wireless technology has achieved lots of applications in computer networks. To model and analyze wireless systems, a calculus called CWS and its operational semantics have been investigated. This paper considers the linking between the algebraic semantics and the operational semantics for this calculus. Our approach is to derive the operational semantics from the algebraic semantics. Firstly we...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2001
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80970-8